Is integer arithmetic fundamental to mental processing?: the mind's secret arithmetic
نویسندگان
چکیده
منابع مشابه
Is integer arithmetic fundamental to mental processing?: the mind's secret arithmetic.
Unlike the ability to acquire our native language, we struggle to learn multiplication and division. It may then come as a surprise that the mental machinery for performing lightning-fast integer arithmetic calculations could be within us all even though it cannot be readily accessed, nor do we have any idea of its primary function. We are led to this provocative hypothesis by analysing the ext...
متن کاملWidening Integer Arithmetic
Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit target. To run narrow codes on a wide target machine, we present a widening transformation. Almost every narrow operation can be widened by signor zero-extending the operands and using a target-machine instruction at its natural wid...
متن کاملSolving Linear Integer Arithmetic
We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut procedure to guide the search away from the conflicting states.
متن کاملLinear Integer Arithmetic Revisited
We consider feasibility of linear integer programs in the context of verification systems such as SMT solvers or theorem provers. Although satisfiability of linear integer programs is decidable, many stateof-the-art solvers neglect termination in favor of efficiency. It is challenging to design a solver that is both terminating and practically efficient. Recent work by Jovanović and de Moura co...
متن کاملSymbolic Arithmetic and Integer Factorization
In this paper, we create a systematic and automatic procedure for transforming the integer factorization problem into the problem of solving a system of Boolean equations. Surprisingly, the resulting system of Boolean equations takes on a ”life of its own” and becomes a new type of integer, which we call a generic integer. We then proceed to use the newly found algebraic structure of the ring o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Royal Society of London. Series B: Biological Sciences
سال: 1999
ISSN: 0962-8452,1471-2954
DOI: 10.1098/rspb.1999.0676